منابع مشابه
Comparing hierarchies of total functionals
In this paper, we will address a problem raised by Bauer, Escardó and Simpson. We define two hierarchies of total, continuous functionals over the reals based on domain theory, one based on an “extensional” representation of the reals and the other on an “intensional” representation. The problem is if these two hierarchies coincide. We will show that this coincidence problem is equivalent to th...
متن کاملHierarchies of total functionals over the reals
We compare two natural constructions, the A-hierarchy and the R-hierarchy, of hereditarily total, continuous and extensional functionals of ,nite types over the reals. The A-hierarchy is based on the closed interval domain representation of the reals while the R-hierarchy is based on the binary negative digit representation. We show that the two hierarchies share a common maximal core. To this ...
متن کاملDiscovering and Comparing Topic Hierarchies
Hierarchies have been used for organization, summarization, and access to information, yet a lingering issue is how best to construct them. In this paper, our goal is to automatically create domain specific hierarchies that can be used for browsing a document set and locating relevant documents. We examine methods of automatically generating hierarchies and evaluating them. To this end, we comp...
متن کاملRecursion in total functionals of finite type
© Foundation Compositio Mathematica, 1977, tous droits réservés. L’accès aux archives de la revue « Compositio Mathematica » (http:// http://www.compositio.nl/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier ...
متن کاملDiscovering and Comparing Topic Hierarchies: Master’s Project
DISCOVERING AND COMPARING TOPIC HIERARCHIES: MASTER’S PROJECT
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2005
ISSN: 1860-5974
DOI: 10.2168/lmcs-1(2:4)2005